GO1                 ∧ββ¬β∧βλε∧¬∧¬βε⬬βεπββ⊂βεαπαπ∧ε¬λε∧π¬επ	∧	β	¬
βεε¬ε
β	ααβ
∧
α¬πλ	ππ

εβ⊂ε¬
β
∧∞¬εεπβ∞∧∂β∂¬⊂α∧αβα¬
⊃
⊃⊂⊃∩⊃∞∂∩⊂∩α⊂β⊃α⊃α∩↓⊃⊂
↓∂⊃πα∞
		λ	
π
λ
ε∂π∪	∩⊃
∂
∩	⊃β∧α
∧
α∂α∞β∞∧∞α∂¬∂β⊃α∂∧∞¬⊂∧⊃∧⊂¬⊃¬∂ε∞ε⊂ε∞π⊃ε∩ε⊂π⊃λ⊂λ⊂	π
∂∞⊂∂∞∂⊃∧	β	∧∂∞∞∂∞∞⊂β
α
∧
	
∂λ
	∂
∂∂	αα	β↓
α
↓λ∧πβπλ∧λ¬λλ	αππε∞∂∞

⊃	⊃
∩	∩λ∩
∩∧
ε∞⊂∂⊃⊂∂∂⊃⊃∂∩∂∞



∞∞

⊂∞⊃
∂
⊂
⊂⊂∩⊃
↓⊂	↓¬αλ↓ε↓λαλβ∞↓∞⊂↓⊂α∂↓∧∧⊃↓∩α∩↓π↓↓∞	∪α∩β∪β∪∧∞λ
πλ∧∪↓λ
↓
↓↓λ∂π⊂	∞

λ⊂λ⊃
⊂⊂∂	⊂π∂